منابع مشابه
Interpolation via translations
A new technique is presented for proving that a consequence system enjoys Craig interpolation or Maehara interpolation based on the fact that these properties hold in another consequence system. This technique is based on the existence of a back and forth translation satisfying some properties between the consequence systems. Some examples of translations satisfying those properties are describ...
متن کاملAppendix on Interpolation via translations: proofs as expected
Theorem 3.2 A consequence system (L,`) enjoys Craig interpolation with respect to an L-function var, if (i) there is a Craig generalized translation schema from (L,`) to another consequence system (L′,`′) with respect to var and an L′-function var′; (ii) (L′,`′) enjoys Craig interpolation with respect to var′. Proof: Let (h1, h2, h) be a Craig generalized translation schema from (L,`) to (L′,`′...
متن کاملConstrained Interpolation via Cubic Hermite Splines
Introduction In industrial designing and manufacturing, it is often required to generate a smooth function approximating a given set of data which preserves certain shape properties of the data such as positivity, monotonicity, or convexity, that is, a smooth shape preserving approximation. It is assumed here that the data is sufficiently accurate to warrant interpolation, rather than least ...
متن کاملLearning Translations via Matrix Completion
Bilingual Lexicon Induction is the task of learning word translations without bilingual parallel corpora. We model this task as a matrix completion problem, and present an effective and extendable framework for completing the matrix. This method harnesses diverse bilingual and monolingual signals, each of which may be incomplete or noisy. Our model achieves state-of-the-art performance for both...
متن کاملCorrect View Update Translations via Containment
One approach to the view update problem for deductive databases proves properties of translations that is, a language speci es the meaning of an update to the intensional database (IDB) in terms of updates to the extensional database (EDB). We argue that the view update problem should be viewed as a question of the expressive power of the translation language and the computational cost of demon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MLQ
سال: 2009
ISSN: 0942-5616,1521-3870
DOI: 10.1002/malq.200810013